Definitions | Id, pred(e), loc(e), SESAxioms{i:l}(E; T; pred?; info; when; after), x:A. B(x), P Q, destination(l), A & B, Prop, SWellFounded(R(x;y)), x,y. t(x;y), pred!(e;e'), source(l), rcv?(e), link(e), sender(e), e < e', A, b, first(e), P & Q, IdLnk, Unit, P Q, x:A. B(x), t T |